A Rapprochement between Deductive and Inductive Logic

Traditionally logic was considered as having two branches: deductive and inductive. However the development of the subject from Frege (1879) up to about 1970 brought about a divergence between deductive and inductive logic. It is argued in this paper that developments in artiicial intelligence in the last twenty or so years (particularly logic programming and machine learning) have created a new framework for logic in which deductive and inductive logic can, once again, be treated as similar branches of the same discipline.